Computational Music Synthesis
cs.gmu.edu·20h·
Discuss: Hacker News
🎛️Audio Synthesis
Programming languages and dimensions of units of measure
cl.cam.ac.uk·3h·
Discuss: Hacker News
💻Programming languages
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·1d
🌀Differential Geometry
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
GAN-Driven Analog Circuit Optimization via Multi-Objective Reinforcement Learning
dev.to·16h·
Discuss: DEV
⚡Circuit Design
Recent cross-research on LLM and RL on ArXiv
github.com·2h·
Discuss: Hacker News
🔲Cellular Automata
The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·21h
🕸️Tensor Networks
Tensor computing from scratch part II - Advanced operations
e-dorigatti.github.io·1d
📐Linear Algebra
Mishearings: Hacking a tiny ASR model to write Dadaist poetry
evanking.io·7h·
Discuss: Hacker News
🎙️Whisper
6 Impossible Puzzles With Surprising Solutions
mindyourdecisions.com·6h
🔲Cellular Automata
Information and Entropy
ocw.mit.edu·5h·
Discuss: Hacker News
ℹ️Information Theory
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·39m·
Discuss: Hacker News
🎯Performance Proofs
REINA: Regularized Entropy Information-Based Loss for Efficient Simultaneous Speech Translation
arxiv.org·2d
🎧Learned Audio
Mathematical proof provides new perspectives on the effects of blending
phys.org·3d
📐Mathematical Art
Thoughts on teaching multivariable calculus
blog.evanchen.cc·2d
📚Proof Pedagogy
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·15h·
Discuss: Hacker News
⚡Incremental Computation
The Timmy Trap
jenson.org·10h
🧠Intelligence Compression
A thesis week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
GPT-5 prompting guide
cookbook.openai.com·18h
⚡Proof Automation
LLMs aren’t world models
yosefk.com·23h·
Discuss: Hacker News
💻Local LLMs